Immunity and Simplicity in Relativizations of Probabilistic Complexity Classes
نویسندگان
چکیده
The existence of immune and simple sets in relativizations of the probabilistic polynomial time bounded classes is studied. Some techniques previously used to show similar results for relativizations of P and NP are adapted to the probabilistic classes. Using these results, an exhaustive settling of ail possible strong séparations among these relativized classes is obtained. Résumé. -On étudie les relativisations des classes de complexité probabiliste polynômiale. On adapte aux classes probabilistes des techniques déjà utilisées pour établir des résultats similaires pour les relativisations de P et NP. On obtient à partir de ces résultats une classification de toutes les propriétés de séparation forte pour ces classes relativisées.
منابع مشابه
Proposal : Bounded Arithmetic for Small Complexity Classes by Phuong Nguyen A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy
Thesis Proposal: Bounded Arithmetic for Small Complexity Classes Phuong Nguyen Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2007 First we provide a unified framework for developing theories of Bounded Arithmetic that are associated with uniform classes inside polytime (P) in the same way that Buss’s theory S2 is associated with P. We obtain finitely axiomat...
متن کاملImmunity and simplicity for exact counting and other counting classes
Ko [Ko90] and Bruschi [Bru92] independently showed that, in some relativized world, PSPACE (in fact, ⊕P) contains a set that is immune to the polynomial hierarchy (PH). In this paper, we study and settle the question of (relativized) separations with immunity for PH and the counting classes PP, C=P, and ⊕P in all possible pairwise combinations. Our main result is that there is an oracle A relat...
متن کاملRelativizations of the P-printable Sets and the Sets with Small Generalized Kolmogorov Complexity (revised) Relativizations of the P-printable Sets and the Sets with Small Generalized Kolmogorov Complexity (revised)
Although tally sets are generally considered to be weak when used as oracles, it is shown here that in relativizing certain complexity classes, they are in fact no less powerful than any other class of sets and are more powerful than the class of recursive sets. More speciically, relativizations of the classes of P-printable sets and sets with small Generalized Kolmogorov complexity (SGK) are s...
متن کاملSimplicity, Immunity, Relativizations and Nondeterminism
The relation between classes of languages recognized by resource bounded Turing machines remains an evasive subject in computational complexity theory. Especially results settling relationship between deterministic and nondeterministic complexity classes are rare. The interesting case of the relation between the classes of languages recognized by polynomial time bounded deterministic versus pol...
متن کاملBounded Reverse Mathematics by Phuong Nguyen
Bounded Reverse Mathematics Phuong Nguyen Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2008 First we provide a unified framework for developing theories of Bounded Arithmetic that are associated with uniform classes inside polytime (P) in the same way that Buss’s theory S2 is associated with P. We obtain finitely axiomatized theories many of which turn out ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- ITA
دوره 22 شماره
صفحات -
تاریخ انتشار 1988